Automata Describing Object Behavior
نویسندگان
چکیده
Relating formal re nement techniques with commercial object oriented software development methods is important to achieve enhancement of the power and exibility of these software development methods and tools We will present an automata model together with a denotational and an op erational semantics to describe the behavior of objects Based on the given semantics we de ne a set of powerful re nement rules and discuss their appli cability in software engineering practice especially with the use of inheritance
منابع مشابه
6 Automata Describing Object Behavior
Relating formal reenement techniques with commercial object-oriented software development methods is important to achieve enhancement of the power and exibility of these software development methods-and tools. We will present an automata model together with a denotational and an operational semantics to describe the behavior of objects. Based on the given semantics, we deene a set of powerful r...
متن کاملBL-general fuzzy automata and minimal realization: Based on the associated categories
The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...
متن کاملTranslation of Textual Specifications to Automata by Means of Discourse Context Modeling
[Context and motivation] Natural language is the main presentation means in industrial requirements documents. In such documents, system behavior is specified either in the form of scenarios or in the form of automata described in natural language. The behavior descriptions are often incomplete: For the authors of requirements documents some facts are so obvious that they forget to mention them...
متن کاملViewcharts: Syntax and Semantics
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components. We define the syntax of viewcharts as attributed graphs and, based on this graph, describe dynamic semantics of viewcharts by object mapping automata. This approach covers many important constructs of viewcharts, inc...
متن کاملA new Concept of Re nementused for Behaviour Modelling
This paper introduces a new approach of using automata to model behaviour of objects. Automata allow to design a software model on the abstract level of states and transitions. We make precise the meaning of states and transitions in the context of objects and types. This formal semantics serves as a link between informal and formal software development methods. Second, we give a formal, but ne...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1411.2408 شماره
صفحات -
تاریخ انتشار 1996